//--------------------------------------
// silk-editor-plugin Project
//
// SilkPartitions.java
// Since: 2010/11/15
//
// $URL$ 
// $Author$
//--------------------------------------
package org.xerial.silk.editor.plugin.text;

import org.eclipse.jface.text.IDocument;

public class SilkPartitions
{
    // This name uniquely identifies the Silk partitioning process
    public final static String   SILK_PARTITIONING = "__silk_partitioning__";
    public final static String   SILK_PREAMBLE     = "__silk_preamble__";
    public final static String   SILK_COMMENT      = "__silk_comment__";
    public final static String   SILK_FUNCTION     = "__silk_function__";
    public final static String   SILK_NODE         = "__silk_node__";

    public final static String[] PARTITION_TYPES   = new String[] { IDocument.DEFAULT_CONTENT_TYPE, SILK_PREAMBLE,
            SILK_COMMENT, SILK_NODE, SILK_FUNCTION };

}
